The art of origami or paper folding has received a considerable amount of mathematical study. Fields of interest include a given paper model's flat-foldability (whether the model can be flattened without damaging it) and the use of paper folds to solve mathematical equations.
Contents |
The construction of origami models is sometimes shown as crease patterns. The major question about such crease patterns is whether a given crease pattern can be folded to a flat model, and if so, how to fold them; this is an NP-complete problem.[1] Related problems when the creases are orthogonal are called map folding problems. There are four mathematical rules for producing flat-foldable origami crease patterns:[2]
Paper exhibits zero Gaussian curvature at all points on its surface, and only folds naturally along lines of zero curvature. Curved surfaces which can't be flattened can be produced using a non-folded crease in the paper, as is easily done with wet paper or a fingernail.
Assigning a crease pattern mountain and valley folds in order to produce a flat model has been proven by Marshall Bern and Barry Hayes to be NP complete.[3] Further references and technical results are discussed in Part II of Geometric Folding Algorithms.[4]
Some classical construction problems of geometry — namely trisecting an arbitrary angle, or doubling the cube — are proven to be unsolvable using compass and straightedge, but can be solved using only a few paper folds.[5] Paper fold strips can be constructed to solve equations up to degree 4. The Huzita–Hatori axioms are an important contribution to this field of study. These describe what can be constructed using a sequence of creases with at most two point or line alignments at once. Complete methods for solving all equations up to degree 4 by applying methods satisfying these axioms are discussed in detail in Geometric Origami.[6]
As a result of origami study through the application of geometric principles, methods such as Haga's theorem have allowed paperfolders to accurately fold the side of a square into thirds, fifths, sevenths, and ninths. Other theorems and methods have allowed paperfolders to get other shapes from a square, such as equilateral triangles, pentagons, hexagons, and special rectangles such as the golden rectangle and the silver rectangle. Methods for folding most regular polygons up to and including the regular 19-gon have been developed.[6]
The side of a square can be divided at an arbitrary rational fraction in a variety of ways. Haga's theorems say that a particular set of constructions can be used for such divisions.[7] Surprisingly few folds are necessary to generate large odd fractions. For instance 1⁄5 can be generated with three folds; first halve a side, then use Haga's theorem twice to produce first 2⁄3 and then 1⁄5.
The accompanying diagram shows Haga's first theorem:
Interestingly the function changing the length AP to QC is self inverse. Let x be AP then a number of other lengths are also rational functions of x. For example:
AP | BQ | QC | AR | PQ |
---|---|---|---|---|
1⁄2 | 2⁄3 | 1⁄3 | 3⁄8 | 5⁄6 |
1⁄3 | 1⁄2 | 1⁄2 | 4⁄9 | 5⁄6 |
2⁄3 | 4⁄5 | 1⁄5 | 5⁄18 | 13⁄15 |
1⁄5 | 1⁄3 | 2⁄3 | 12⁄25 | 13⁄15 |
The classical problem of doubling the cube can be solved by first creasing a square of paper into three equal strips as shown in the diagram. Then the bottom edge is positioned so the corner point P is on the top edge and the crease mark on the edge meets the other crease mark Q. The length PB will then be the cube root of 2 times the length of AP.[8]
The edge with the crease mark is considered a marked straightedge, something which is not allowed in compass and straightedge constructions. Using a marked straightedge in this way is called a neusis construction in geometry.
Angle trisection is another of the classical problems that cannot be solved using a compass and unmarked ruler but can be solved using origami. The angle CAB is trisected by making folds PP' and QQ' parallel to the base with QQ' halfway in between. Then point P is folded over to lie on line AC and at the same time point A is made to lie on line QQ' at A'. The angle A'AB is one third of the original angle CAB. This is because PAQ, A'AQ and A'AR are three identical triangles. Aligning the two points on the two lines is another neusis construction as in the solution to doubling the cube.[9]
The problem of rigid origami, treating the folds as hinges joining two flat, rigid surfaces, such as sheet metal, has great practical importance. For example, the Miura map fold is a rigid fold that has been used to deploy large solar panel arrays for space satellites.
The napkin folding problem is the problem of whether a square or rectangle of paper can be folded so the perimeter of the flat figure is greater than that of the original square.
Curved origami also poses a (very different) set of mathematical challenges.[10] Curved origami allows the paper to form developable surfaces that are not flat.
Wet-folding origami allows an even greater range of shapes.
The maximum number of times an incompressible material can be folded has been derived. With each fold a certain amount of paper is lost to potential folding. The loss function for folding paper in half in a single direction was given to be , where L is the minimum length of the paper (or other material), t is the material's thickness, and n is the number of folds possible. The distances L and t must be expressed in the same units, such as inches. This function was derived by Britney Gallivan in 2001 (then only a high school student) who then folded a sheet of paper in half 12 times, contrary to the popular belief that paper of any size could be folded at most eight times. She also derived the equation for folding in alternate directions.[11]
The fold-and-cut problem asks what shapes can be obtained by folding a piece of paper flat, and making a single straight complete cut. The solution, known as the Fold and Cut Theorem, states that any shape with straight sides can be obtained.